TU Dresden - PDFSEARCH.IO - Document Search Engine

TU Dresden
Results: 830

#	Item
41	Reintroducing CEL as an OWL 2 EL Reasoner⋆ Julian Mendez and Boontawee Suntisrivaraporn Theoretical Computer Science, TU Dresden, Germany {mendez,meng}@tcs.inf.tu-dresden.de Abstract. The CEL system is known for its s Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
42	AG9 MISMATCH Alessio Guglielmi (TU Dresden Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2005-09-20 10:33:25
43	OntoComP System Description Barı¸s Sertkaya ? Theoretical Computer Science, TU Dresden, Germany Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
44	GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable Franz Baader and Rafael Peñaloza Theoretical Computer Science, TU Dresden, Germany {baader,penaloza}@tcs.inf.tu-dresden.de Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:20:56
45	AG2 RECIPE Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2005-09-20 10:33:11
46	Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
47	Axiom Pinpointing is Hard Rafael Pe˜ naloza and Barı¸s Sertkaya? Theoretical Computer Science TU Dresden, Germany {penaloza,sertkaya}@tcs.inf.tu-dresden.de Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
48	Fuzzy Ontologies over Lattices with T-norms Stefan Borgwardt and Rafael Pe˜ naloza Theoretical Computer Science, TU Dresden, Germany {stefborg,penaloza}@tcs.inf.tu-dresden.de Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:20:01
49	Inferring M-Best Diverse Labelings in a Single One Alexander Kirillov1 , Bogdan Savchynskyy1 , Dmitrij Schlesinger1 , Dmitry Vetrov2 , Carsten Rother1 1 TU Dresden, Dresden, Germany; 2 Skoltech, Moscow, Russia; vetrovd@y Add to Reading List Source URL: www.cv-foundation.org - Date: 2015-10-24 15:23:01
50	Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2006-03-26 15:53:31